$\forall$$u$:$\mathbb{B}$. ($u$ $\wedge_{b}$ ff) = ff $\in$ $\mathbb{B}$